PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes
نویسندگان
چکیده
PSOA RuleML is a rule language which introduces positionalslotted, object-applicative terms in generalized rules, permitting relation applications with optional object identifiers and positional or slotted arguments. This paper describes an open-source PSOA RuleML API, whose functionality facilitates factory-based syntactic object creation and manipulation. The API parses an XML-based concrete syntax of PSOA RuleML, creates abstract syntax objects, and uses these objects for translation into a RIF-like presentation syntax. The availability of such an API will benefit PSOA rule-based research and applications.
منابع مشابه
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers
PSOA RuleML is an object-relational rule language generalizing POSL, OO RuleML, F-logic, and RIF-BLD. In PSOA RuleML, the notion of positional-slotted, object-applicative (psoa) terms is used as a generalization of: (1) positional-slotted terms in POSL and OO RuleML and (2) frame and class-membership terms in F-logic and RIF-BLD. We demonstrate an online PSOA RuleML reasoning service, PSOATrans...
متن کاملPSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners
PSOA RuleML is a recently specified rule language combining relational and object-oriented modeling. In order to provide reasoning services for PSOA RuleML, we have implemented a reference translator, PSOA2TPTP, to map knowledge bases and queries in the PSOA RuleML presentation syntax (PSOA/PS) to the popular TPTP format, supported by many first-order logic reasoners. In particular, PSOA RuleML...
متن کاملPerspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation
In Positional-Slotted Object-Applicative (PSOA) RuleML, a predicate application (atom) can have an Object IDentifier (OID) and descriptors that may be positional arguments (tuples) or attributevalue pairs (slots). PSOA RuleML 1.0 extends earlier versions by explicitly specifying for each descriptor whether it is to be interpreted under the perspective of the predicate in whose scope it occurs. ...
متن کاملThe RuleML Knowledge-Interoperation Hub
The RuleML knowledge-interoperation hub provides for syntactic/semantic representation and internal/external transformation of formal knowledge. The representation system permits the configuration of textbook and enriched Relax NG syntax as well as the association of syntax with semantics. The transformation tool suite includes serialized formatters (normalizers and compactifiers), polarized pa...
متن کاملVisualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog
SWRL rules are transformed in two steps for visualization in a subset of Grailog. A Unary/Binary Datalog rule in SWRL presentation syntax is translated to a corresponding PSOA RuleML rule in a RIF-like presentation syntax employing frame formulas. This is then translated to the Graphviz DOT language so that the Graphviz tool can render it visually as a Grailog graph with an object identifier an...
متن کامل